- конечная аксиоматизируемость
- finite axiomatizability мат.
Русско-английский научно-технический словарь Масловского. 2015.
конечная аксиоматизируемость
Look at other dictionaries:
Клини, Стивен Коул — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. Стивен Коул Клини (правильнее Клейни, англ. Stephen Cole Kle … Википедия
Клини — Клини, Стивен Коул Стивен Коул Клини (правильнее Клейни, англ. Stephen Cole Kleene; 5 января 1909, Хартфорд, Коннектикут, США 25 января 1994, Мэдисон, Висконсин, США) американский математик. Его работы совместно с работами Алонзо Чёрча, Курта… … Википедия
Клини, Стивен — Стивен Коул Клини (правильнее Клейни, англ. Stephen Cole Kleene; 5 января 1909, Хартфорд, Коннектикут, США 25 января 1994, Мэдисон, Висконсин, США) американский математик. Его работы совместно с работами Алонзо Чёрча, Курта Гёделя и Алана… … Википедия
Клини С. — Стивен Коул Клини (правильнее Клейни, англ. Stephen Cole Kleene; 5 января 1909, Хартфорд, Коннектикут, США 25 января 1994, Мэдисон, Висконсин, США) американский математик. Его работы совместно с работами Алонзо Чёрча, Курта Гёделя и Алана… … Википедия
Клини С. К. — Стивен Коул Клини (правильнее Клейни, англ. Stephen Cole Kleene; 5 января 1909, Хартфорд, Коннектикут, США 25 января 1994, Мэдисон, Висконсин, США) американский математик. Его работы совместно с работами Алонзо Чёрча, Курта Гёделя и Алана… … Википедия
Клини Стивен Коул — Стивен Коул Клини (правильнее Клейни, англ. Stephen Cole Kleene; 5 января 1909, Хартфорд, Коннектикут, США 25 января 1994, Мэдисон, Висконсин, США) американский математик. Его работы совместно с работами Алонзо Чёрча, Курта Гёделя и Алана… … Википедия
АЛГЕБРАИЧЕСКАЯ СИСТЕМА — множество с определенными на нем операциями и отношениями. А. с. принадлежат к числу основных математич. структур и имеют глубоко разработанную общую теорию, сформировавшуюся в начале 50 х гг. 20 в. на грани между алгеброй и математич. логикой.… … Математическая энциклопедия
АЛГЕБРАИЧЕСКИХ СИСТЕМ КЛАСС — класс однотипных алгебраических систем. Все системы любого данного типа предполагаются записанными в определенной сигнатуре и наз. системами. Класс систем наз. абстрактным, если он содержит вместе с каждой своей системой и все изоморфные ей… … Математическая энциклопедия
